历史上的张三丰是否真的如此厉害。他的武功到底有多厉害。

当然，有那么厉害。
参考资料张三丰，全真武当派祖师，本名 通，字君宝，元季儒者、武当山道士。 善书画，工诗词，中统元年，汉族，籍 贯存在二三十种说法，未有定论，原宝 鸡说为主，后辽东说占据上风，但都没 有确凿可信证据。近年福建邵武发现张 三丰家谱，并经专家考证发现邵武、福 建等地方府志多处记载及地方遗迹等多 方面证据，构成证据链，为张三丰籍贯 迄今最确凿的实证。生于元定宗贵由二 年（1247年），娶妻黄氏生一子。曾举 茂才异等，任中山博陵令。为武当派开 山祖师，明英宗赐号“通微显化真 人”；明宪宗特封号为“韬光尚志真 仙”；明世宗赠封他为“清虚元妙真君”。 张三丰所创的武学有王屋山邋遢派、三 丰自然派、三丰派、三丰正宗自然派、 日新派、蓬莱派、檀塔派、隐仙派、武 当丹派、犹龙派等至少十七支。 清代大儒朱仕丰评价张三丰说，古 今练道者无数，而得天地之造化者，张三丰也

仅仅是道教的一代宗师。
武艺嘛，也就近代武侠小说开始给他吹捧。
太极拳本来是民间武艺。由于有太极两字，被武侠小说安到张三丰身上。张三丰从此无敌了。
其实现在的太极，流派无非陈氏太极，杨氏太极。没有张三太极的。

教派创始人都是会被后人神话的
由于从汉武帝开始儒家思想在庙堂占据上风 所以后来不论是达摩还是张三丰都只能被神话为武功无敌而已 而在国外就会产生耶稣这样的神了